Automatic generation produced by ISE Eiffel
indexing
description: "Class working as a container for mp3-files"
author: "David Murer"
date: "$Date: 2005/1/24 18:09:00 $"
revision: "0.1.0"
class interface
MP3_DIRECTORY [G]
create
make_with_name
feature
make_with_name (artist: STRING)
-- create an List with MP3_FILES with name of the artist as directory name
require
arist_not_void: artist /= Void
name: STRING
invariant
name_not_void: name /= Void
end -- class MP3_DIRECTORY
-- Generated by ISE Eiffel --
For more details: www.eiffel.com